pure_virtual.sv
